-
1 quantifier form
Большой англо-русский и русско-английский словарь > quantifier form
-
2 quantifier form
Математика: кванторная форма -
3 quantifier form
мат. -
4 form
1) анкета; бланк2) вид; форма || придавать вид или форму3) контур; очертание4) конфигурация6) строит. опалубка; элемент опалубки7) скамейка, лавочка8) формуляр9) составлять; образовывать10) формироваться•calculation in a series form — матем. вычисление с помощью ряда
evaluation of indeterminate form — матем. раскрытие неопределённости
fraction in a factored form — матем. дробь в форме разложения на множители
in an expanded form — в виде ряда; в развёрнутом виде
integration in a closed form — матем. интегрирование в конечном виде
of closed form — матем. в конечном виде, с конечным числом членов
preparation of type form — полигр. чернение набора
reduction to a normal form — матем. приведение к нормальной форме
to bring into a canonical form — матем. приводить к канонической форме; приводить к каноническому виду
to form a circle — замыкаться в кольцо; образовывать кольцо
to rearrange in the form — переписывать в виде; преобразовывать к виду ( об уравнениях)
- absolutely convergent form - absolutely extreme form - definite form - elementary form - elimination form of inverse - everywhere regular form - evolutionary operation form - geodesic curvature form - indefinite form - p-adically equivalent form - relatively bounded form - repair request form - third fundamental form - totally definite form - totally discontinuous formto take on a form — принимать форму; принимать вид
-
5 кванторная форма
quantifier form мат.Русско-английский научно-технический словарь Масловского > кванторная форма
-
6 кванторная форма
Большой англо-русский и русско-английский словарь > кванторная форма
-
7 кванторная форма
Mathematics: quantifier form -
8 bounded
1) граничить
2) ограниченный
3) ограниченно
4) разграниченный
5) связанный ∙ absolutely bounded form ≈ абсолютно ограниченная форма absolutely bounded function ≈ ограниченная по абсолютной величине функция absolutely bounded matrix ≈ абсолютно ограниченная матрица algebra of bounded representation type ≈ алгебра с ограниченными степенями представлений algebra of linearly bounded degree ≈ алгебра линейно ограниченной степени almost bounded function ≈ функция, ограниченная почти всюду bounded above function ≈ ограниченная сверху функция bounded above operator ≈ ограниченый сверху оператор bounded above subset ≈ ограниченное сверху подмножество bounded below function ≈ ограниченная снизу функция bounded below operator ≈ ограниченный снизу оператор bounded below subset ≈ ограниченное снизу подмножество bounded closed interval ≈ ограниченный замкнутый интервал bounded distance decoding ≈ декодирование с ограниченным расстоянием bounded from one side ≈ полуограниченный bounded open interval ≈ ограниченный открытый интервал bounded partial quotient ≈ ограниченное неполное частное bounded pure subgroup ≈ ограниченная сервантная подгруппа bounded random variable ≈ ограниченная случайная величина bounded universal hypothesis ≈ ограниченная универсальная гипотеза bounded variable technique ≈ метод ограниченной переменной collectively bounded set ≈ ограниченное в совокупности множество completely bounded set ≈ вполне ограниченное множество completely bounded space ≈ вполне органическое пространство completely bounded statistic ≈ вполне ограниченная статистика derivative of bounded variation ≈ производная с ограниченной вариацией doubly bounded quantifier ≈ ограниченный с двух сторон квантор essentially bounded function ≈ существенно ограниченная функция essentially bounded random variable ≈ существенно ограниченная случайная величина essentially bounded sequence ≈ существенно ограниченная последовательность explicitly bounded function ≈ явно ограниченная функция finitely bounded germ ≈ конечно ограниченный росток function of bounded characteristic ≈ функция с ограниченной характеристикой function of bounded type ≈ функция ограниченного вида function of bounded variation ≈ функция с ограниченным изменением linearly bounded automaton ≈ линейно ориентированный автомат linearly bounded set ≈ линейно ограниченное множество locally bounded curvature ≈ локально ограниченная кривизна locally bounded density ≈ локально ограниченная плотность locally bounded function ≈ локально ограниченная функция locally bounded game ≈ локально ограниченная игра locally bounded space ≈ локально ограниченное пространство metrically bounded functional ≈ метрически ограниченный функционал metrically bounded set ≈ метрически ограниченное множество nontangentially bounded function ≈ нетангенциально ограниченная функция nontangentially bounded integral ≈ некасательно ограниченный интеграл order bounded functional ≈ ограниченный по упорядоченности функционал pointwise bounded function ≈ точечно ограниченная функция polynomially bounded function ≈ полиномиально ограниченная функция process with bounded aftereffect ≈ процесс с ограниченным последействием progressively bounded graph ≈ прогрессивно ограниченный граф recursively bounded quantifier ≈ рекурсивно ограниченный квантор regressively bounded graph ≈ регрессивно ограниченный граф relatively bounded form ≈ относительно ограниченная форма sequentially bounded net ≈ последовательно ограниченная сеть simply bounded subset ≈ поточечно ограниченное подмножество smoothly bounded region ≈ гладко ограниченная область stochastically bounded sequence ≈ стохастически ограниченная последовательность strictly bounded set ≈ строго ограниченное множество strongly bounded set ≈ сильно ограниченное множество strongly bounded space ≈ сильно ограниченное пространство theor of semigroups of linear bounded operators ≈ теория полугрупп линейных ограниченных операторов topology of bounded convergence ≈ топология ограниченной сходимости totally bounded measure ≈ вполне ограниченная мера totally bounded set ≈ вполне ограниченное множество totally bounded space ≈ вполне ограниченное пространство totally bounded subset ≈ вполне ограниченное подмножество totally bounded uniformity ≈ вполне ограниченная равномерность uniformly bounded convergence ≈ равномерно ограниченная сходимость uniformly bounded curvature ≈ равномерно ограниченная кривизна uniformly bounded error ≈ равномерно ограниченная ошибка uniformly bounded family ≈ равномерно ограниченное семейство uniformly bounded function ≈ равномерно ограниченная функция uniformly bounded kernel ≈ равномерно ограниченное ядро uniformly bounded sequence ≈ равномерно ограниченная последовательность uniformly bounded series ≈ равномерно ограниченный ряд uniformly bounded set ≈ равномерно ограниченное множество uniformly bounded variation ≈ равномерно ограниченная вариация weakly bounded set ≈ слабо ограниченное множество weakly bounded subset ≈ слабо ограниченное подмножество - almost bounded - bounded above - bounded acceptor - bounded accuracy - bounded adele - bounded aggregate - bounded approximation - bounded automaton - bounded axonometry - bounded below - bounded characteristic - bounded collection - bounded compactness - bounded completeness - bounded continuum - bounded convergence - bounded curvature - bounded decomposition - bounded deficiency - bounded degree - bounded derivation - bounded derivative - bounded deviation - bounded difference - bounded distribution - bounded domain - bounded duality - bounded extension - bounded field - bounded flow - bounded form - bounded frontier - bounded function - bounded functional - bounded group - bounded homomorphism - bounded index - bounded integral - bounded integrand - bounded intersection - bounded invertibility - bounded kernel - bounded language - bounded lattice - bounded mapping - bounded martingale - bounded matrix - bounded measure - bounded metric - bounded module - bounded monotonicity - bounded morphism - bounded motion - bounded network - bounded norm - bounded operator - bounded order - bounded path - bounded polyhedron - bounded potential - bounded predicate - bounded problem - bounded product - bounded projection - bounded quality - bounded quantification - bounded quantifier - bounded quantity - bounded quotient - bounded region - bounded representation - bounded retract - bounded semigroup - bounded sequence - bounded series - bounded set - bounded solution - bounded space - bounded spectrum - bounded spline - bounded string - bounded subset - bounded subtraction - bounded sum - bounded summand - bounded support - bounded term - bounded topology - bounded transformation - bounded utility - bounded variance - bounded variation - bounded varying - bounded vector - essentially bounded - explicitly bounded - exponentially bounded - power bounded - uniformly bounded - weakly bounded (математика) ограниченный -
9 More
[mɔː(r)] 1.quantisostantivo femminile1)2) more and more sempre più2.more and more work, time — sempre più lavoro, tempo
1) (larger amount or number) piùmany were disappointed, more were angry — le persone deluse erano molte, ma ancora di più erano le persone arrabbiate
2) (additional amount, number) (di) più3.in Mexico, of which more later — in Messico, di cui riparleremo più avanti
2) (to a greater extent) di più, piùyou must work, rest more — devi lavorare, riposare di più
the more you think of it, the harder it will seem — più ci pensi, più ti sembrerà difficile
3) (longer)4) (again)5) (rather)6) more and more sempre (di) più7) more or less più o meno8) more so ancora di piùin York, and even more so in Oxford — a York, e ancor di più a Oxford
it is interesting, made (even) more so because — è interessante, ancor più perché
he is just as active as her, if not more so o or even more so è attivo quanto lei, se non di più; (all) the more so because ancora di più perché; they are all disappointed, none more so than him sono tutti delusi, ma nessuno quanto lui; no more so than usual — non più del normale
9) more than (greater amount or number) più di••••he's nothing more (nor less) than a thief he's a thief, neither more nor less è semplicemente un ladro, niente di più e niente di meno; he's nothing o no o not much more than a servant è soltanto un servo; and what is more e per di più, e come se non bastasse; there's more where that came from — non è che l'inizio
Note:When used as a quantifier to indicate a greater amount or quantity of something, more is very often translated by più, in più or ancora: more cars than people = più auto che persone; some more books = qualche libro in più / ancora qualche libro. For examples and further uses, see I.1 below.- When used to modify an adjective or an adverb to form the comparative, more is very often translated by più: more expensive = più caro; more beautiful = più bello; more easily = più facilmente; more regularly = più regolarmente. For examples and further uses, see III.1 below* * *[mo:]comparative; = much* * *(Surnames) More /mɔ:(r)/* * *[mɔː(r)] 1.quantisostantivo femminile1)2) more and more sempre più2.more and more work, time — sempre più lavoro, tempo
1) (larger amount or number) piùmany were disappointed, more were angry — le persone deluse erano molte, ma ancora di più erano le persone arrabbiate
2) (additional amount, number) (di) più3.in Mexico, of which more later — in Messico, di cui riparleremo più avanti
2) (to a greater extent) di più, piùyou must work, rest more — devi lavorare, riposare di più
the more you think of it, the harder it will seem — più ci pensi, più ti sembrerà difficile
3) (longer)4) (again)5) (rather)6) more and more sempre (di) più7) more or less più o meno8) more so ancora di piùin York, and even more so in Oxford — a York, e ancor di più a Oxford
it is interesting, made (even) more so because — è interessante, ancor più perché
he is just as active as her, if not more so o or even more so è attivo quanto lei, se non di più; (all) the more so because ancora di più perché; they are all disappointed, none more so than him sono tutti delusi, ma nessuno quanto lui; no more so than usual — non più del normale
9) more than (greater amount or number) più di••••he's nothing more (nor less) than a thief he's a thief, neither more nor less è semplicemente un ladro, niente di più e niente di meno; he's nothing o no o not much more than a servant è soltanto un servo; and what is more e per di più, e come se non bastasse; there's more where that came from — non è che l'inizio
Note:When used as a quantifier to indicate a greater amount or quantity of something, more is very often translated by più, in più or ancora: more cars than people = più auto che persone; some more books = qualche libro in più / ancora qualche libro. For examples and further uses, see I.1 below.- When used to modify an adjective or an adverb to form the comparative, more is very often translated by più: more expensive = più caro; more beautiful = più bello; more easily = più facilmente; more regularly = più regolarmente. For examples and further uses, see III.1 below -
10 more
more [mɔ:r]━━━━━━━━━━━━━━━━━1. adjective2. pronoun3. adverb━━━━━━━━━━━━━━━━━1. adjectivea. ( = greater in amount) plus de► more... than plus de... queb. ( = additional) encore de• more tea? encore un peu de thé ?━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━• is there any more wine? y a-t-il encore du vin ?► a few/several more2. pronouna. ( = greater quantity) plus• that's more than enough c'est amplement suffisant► no/nothing more• no more, thanks (in restaurant) ça suffit, mercib. ( = others) d'autres• have you got any more like these? en avez-vous d'autres comme ça ?3. adverbc. ( = rather) plutôtd. ( = again) once more une fois de plus• once more, they have disappointed us une fois de plus, ils nous ont déçus• the more you rest the quicker you'll get better plus vous vous reposerez plus vous vous rétablirez rapidement• all the more so because... d'autant plus que...* * *Note: When used to modify an adjective or an adverb to form the comparative more is very often translated by plus: more expensive = plus cher/chère; more beautiful = plus beau/belle; more easily = plus facilement; more regularly = plus régulièrement. For examples and further uses see belowWhen used as a quantifier to indicate a greater amount or quantity of something more is very often translated by plus de: more money/cars/people = plus d'argent/de voitures/de gens. For examples and further uses see II 1 below[mɔː(r)] 1.1) ( comparative)2) ( to a greater extent) plus, davantageyou must work/rest more — il faut que tu travailles/te reposes davantage
the more you think about it, the harder it will seem — plus tu y penseras, plus ça te paraîtra dur
3) ( longer)4) ( again)5) ( rather)2.3.a little/lot more wine — un peu/beaucoup plus de vin
1) ( larger amount or number) plusit costs more than the other one — il/elle coûte plus cher que l'autre
many were disappointed, more were angry — beaucoup de gens ont été déçus, un plus grand nombre étaient fâchés
2) ( additional amount) davantage; ( additional number) plusseveral/a few more (of them) — plusieurs/quelques autres
in Mexico, of which more later... — au Mexique, dont nous reparlerons plus tard...
4.let's ou we'll say no more about it — n'en parlons plus
more and more phrasal determiner, adverbial phrase de plus en plus5.more or less adverbial phrase plus ou moins6.more so adverbial phrase encore plusin York, and even more so in Oxford — à York et encore plus à Oxford
he is just as active as her, if not more so ou or even more so — il est aussi actif qu'elle, si ce n'est plus
7.they are all disappointed, none more so than Mr Lowe — ils sont tous déçus, en particulier M. Lowe
more than adverbial phrase, prepositional phrase1) ( greater amount or number) plus de2) ( extremely)••she's nothing more (nor less) than a thief —
she's a thief, neither more nor less — c'est une voleuse, ni plus ni moins
he's nothing ou no ou not much more than a servant — ce n'est qu'un serviteur
and what is more... — et qui plus est...
-
11 much
much [mʌt∫]━━━━━━━━━━━━━━━━━1. pronoun2. adjective3. adverb━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━1. pronoun• does it cost much? est-ce que ça coûte cher ?• is it worth much? est-ce que ça a de la valeur ?► much of ( = a large part of) une bonne partie de• much of what you say une bonne partie de ce que vous dites► to make much of sth attacher beaucoup d'importance à qch► not/nothing... much ( = a small amount) pas beaucoup• what was stolen? -- nothing much qu'est-ce qui a été volé ? -- pas grand-chose━━━━━━━━━━━━━━━━━► Constructions with valoir are often used when assessing value or merit.━━━━━━━━━━━━━━━━━• there isn't much in it (in choice, competition) ça se vaut2. adjective• it's a bit much! (inf) c'est un peu fort !3. adverba. ( = to a great degree) beaucoup• I very much hope that... j'espère de tout cœur que...b. ( = more or less) it's much the same c'est quasiment la même chose► as much• I thought as much! c'est bien ce que je pensais !• as much time as... autant de temps que...• twice as much money as... deux fois plus d'argent que...• you could pay as much as $200 for that ça peut te coûter jusqu'à 200 dollars► however much• however much you like him... quelle que soit votre affection pour lui,...► how much? combien ?• how much does it cost? combien ça coûte ?► much as• much as I dislike doing this,... bien que je n'aime pas du tout faire cela,...► much less ( = and even less)he couldn't understand the question, much less answer it il ne pouvait pas comprendre la question et encore moins y répondre► not much of a (inf) ( = not a great)• he'd drunk so much that... il avait tellement bu que...• so much so that... à tel point que...• so much for his help! c'est ça qu'il appelle aider !• so much for that! tant pis !• so much the better! tant mieux !► not so much... as• I think of her not so much as a doctor but as a friend je la considère plus comme une amie que comme un médecin► this/that much• this much? (ça ira) comme ça ?• I know this much... ce que je sais, c'est que...• this much is certain... un point est acquis...* * *Note: When much is used as an adverb, it is translated by beaucoup: it's much longer = c'est beaucoup plus long; she doesn't talk much = elle ne parle pas beaucoupFor particular usages, see I belowWhen much is used as a pronoun, it is usually translated by beaucoup: there is much to learn = il y a beaucoup à apprendre. However, in negative sentences grand-chose is also used: I didn't learn much = je n'ai pas beaucoup appris or je n'ai pas appris grand-choseWhen much is used as a quantifier, it is translated by beaucoup de: they don't have much money = ils n'ont pas beaucoup d'argent[mʌtʃ] 1.1) ( to a considerable degree) beaucoup2) ( often) beaucoup, souvent3) ( nearly) plus ou moins, à peu prèsvery much — ( a lot) beaucoup; ( absolutely) tout à fait
I thought as much — ça ne m'étonne pas, je m'en doutais
you'll have to accept the decision however much you disagree — il va falloir que tu acceptes la décision même si tu n'es pas d'accord
5) (emphatic: setting up a contrast)2.the discovery wasn't so much shocking as depressing — la découverte était moins choquante que déprimante
1) ( a great deal) beaucoup; ( in negative sentences) grand-chosemuch of the difficulty lies in... — une grande partie de la difficulté réside dans...
to make much of something — ( focus on) insister sur quelque chose; ( understand) comprendre quelque chose
2) (expressing a relative amount, degree)so much — tellement, tant
so much of the time, it's a question of patience — la plupart du temps c'est une question de patience
it's too much! — lit c'est trop!; ( in protest) c'en est trop!
I'll say this much for him, he's honest — il a au moins ça pour lui, il est honnête
this much is certain, we'll have no choice — une chose est certaine, nous n'aurons pas le choix
it can cost as much as £50 — ça peut coûter jusqu'à 50 livres sterling
as much as to say... — d'un air de dire...
do you know how much this means to me? — est-ce que tu sais à quel point or combien c'est important pour moi?
3) (focusing on limitations, inadequacy)it's not ou nothing much — ce n'est pas grand-chose
it's not up to much — GB ça ne vaut pas grand-chose
3.I'm not much of a one for cooking — (colloq) la cuisine ce n'est pas mon fort (colloq)
quantifier beaucoup de4.much+ combining form5.much-loved/-respected — très apprécié/respecté
much as conjunctional phrase bien que (+ subj)6.much as we regret our decision we have no choice — bien que nous regrettions or nous avons beau regretter notre décision, nous n'avons pas le choix
much less conjunctional phrase encore moins7.I've never seen him much less spoken to him — je n'ai jamais eu l'occasion de le voir encore moins de lui parler
so much as adverbial phrasewithout so much as saying goodbye/as an apology — sans même dire au revoir/s'excuser
••there isn't much in GB ou to US it — (in contest, competition) ils se suivent de près
there isn't much in it for us — ( to our advantage) ça ne va pas nous apporter grand-chose
-
12 more
❢ When used to modify an adjective or an adverb to form the comparative more is very often translated by plus: more expensive = plus cher/chère ; more beautiful = plus beau/belle ; more easily = plus facilement ; more regularly = plus régulièrement. For examples and further uses see A 1 below.When used as a quantifier to indicate a greater amount or quantity of something more is very often translated by plus de: more money/cars/people = plus d'argent/de voitures/de gens. For examples and further uses see B 1 below.A adv1 ( comparative) it's more serious than we thought/you think c'est plus grave que nous ne pensions/vous ne pensez ; the more intelligent (child) of the two (l'enfant) le plus intelligent des deux ; he's no more honest than his sister il n'est pas plus honnête que sa sœur ; the more developed countries les pays plus développés ;2 ( to a greater extent) plus, davantage ; you must work/sleep/rest more il faut que tu travailles/dormes/te reposes davantage ; he sleeps/talks more than I do il dort/parle plus que moi ; you can't paint any more than I can, you can no more paint than I can tu ne sais pas plus peindre que moi ; the more you think of it, the harder it will seem plus tu y penseras, plus ça te paraîtra dur ; he is (all) the more determined/angry because il est d'autant plus déterminé/en colère que ;3 ( longer) I don't work there any more je n'y travaille plus ; I couldn't continue any more je ne pouvais pas continuer plus longtemps ; she is no more littér elle n'est plus ;4 ( again) once/twice more une fois/deux fois de plus, encore une fois/deux fois ; he's back once more il est de nouveau de retour ;5 ( rather) more surprised than angry plus étonné que fâché ; he's more a mechanic than an engineer il est plus mécanicien qu'ingénieur ; it's more a question of organization than of money c'est plus une question d'organisation que d'argent.B quantif more cars than people plus de voitures que de gens ; more eggs than milk plus d'œufs que de lait ; more cars than expected/before plus de voitures que prévu/qu'avant ; some more books encore quelques livres ; a little/lot more wine un peu/beaucoup plus de vin ; more bread encore un peu de pain ; there's no more bread il n'y a plus de pain ; have some more beer! reprenez de la bière ; have you any more questions/problems? avez-vous d'autres questions/problèmes? ; we've no more time nous n'avons plus le temps ; nothing more rien de plus ; something more autre chose, quelque chose d'autre.C pron1 ( larger amount or number) plus ; it costs more than the other one il/elle coûte plus cher que l'autre ; he eats more than you il mange plus que toi ; the children take up more of my time les enfants prennent une plus grande partie de mon temps ; many were disappointed, more were angry beaucoup de gens ont été déçus, un plus grand nombre étaient fâchés ; we'd like to see more of you nous voudrions te voir plus souvent ;2 ( additional amount) davantage ; ( additional number) plus ; tell me more (about it) dis-m'en davantage ; I need more of them il m'en faut plus ; I need more of it il m'en faut davantage ; we found several/a few more (of them) in the house nous en avons trouvé plusieurs/quelques autres dans la maison ; I can't tell you any more je ne peux pas t'en dire plus ; have you heard any more from your sister? as-tu d'autres nouvelles de ta sœur? ; I have nothing more to say je n'ai rien à ajouter ; in Mexico, of which more later… au Mexique, dont nous reparlerons plus tard… ; let's ou we'll say no more about it n'en parlons plus.D more and more det phr, adv phr de plus en plus ; more and more work/time de plus en plus de travail/de temps ; to work/sleep more and more travailler/dormir de plus en plus ; more and more regularly de plus en plus régulièrement.F more so adv phr encore plus ; in York, and even more so in Oxford à York et encore plus à Oxford ; it is very interesting, made (even) more so because c'est très intéressant, d'autant plus que ; he is just as active as her, if not more so ou or even more so il est aussi actif qu'elle, si ce n'est plus ; (all) the more so because… d'autant plus que… ; they are all disappointed, none more so than Mr Lowe ils sont tous déçus, en particulier M. Lowe ; no more so than usual/the others pas plus que d'habitude/les autres.1 ( greater amount or number) plus de ; more than 20 people/£50 plus de 20 personnes/50 livres sterling ; more than half plus de la moitié ; more than enough plus qu'assez ;2 ( extremely) more than generous/happy plus que généreux/ravi ; the cheque more than covered the cost le chèque a amplement couvert les frais ; you more than fulfilled your obligations tu as fait plus que remplir tes obligations.she's nothing more (nor less) than a thief, she's a thief, neither more nor less c'est une voleuse, ni plus ni moins ; he's nothing ou no ou not much more than a servant ce n'est qu'un serviteur ; and what is more… et qui plus est… ; there's more where that came from ce n'est qu'un début.
См. также в других словарях:
Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… … Wikipedia
quantifier — Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake,… … Philosophy dictionary
quantifier shift fallacy — A fallacy of reversing the order of two quantifiers . The common form is that of moving from a statement of the form ‘every x has a related y ’ to one of the form ‘there is some y related to every x ’. An easily detected instance would be… … Philosophy dictionary
Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… … Wikipedia
Prenex normal form — A formula of the predicate calculus is in prenex[1] normal form if it is written as a string of quantifiers followed by a quantifier free part (referred to as the matrix). Every formula in classical logic is equivalent to a formula in prenex… … Wikipedia
Pro-form — A pro form is a type of function word or expression that stands in for (expresses the same content as) another word, phrase, clause or sentence where the meaning is recoverable from the context. They are used either to avoid repetitive… … Wikipedia
Bounded quantifier — In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language. These are two quantifiers in addition to forall and exists. They are motivated by the fact that determining whether a sentence with only… … Wikipedia
prenex normal form — ˈprēˌneks noun Etymology: Late Latin praenexus tied up or bound in front, from Latin prae pre + nexus, past participle of nectere to tie, bind more at annex : a normal form of an expression in the functional calculus in which all the quantifiers… … Useful english dictionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia